به روز رسانی معناشناسی پروتکل های امنت
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده علوم پایه دامغان
- نویسنده ملیحه شیوا
- استاد راهنما مصطفی زارع
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1391
چکیده
در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای sra و پروتکل قورباغه ی دهن گشاد را مورد بحث و بررسی قرار می دهیم.
منابع مشابه
مقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure
کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...
متن کاملبه روز رسانی مدل ارتفاعی لیدار به وسیله مدل ارتفاعی ایجاد شده از Worldview-2
در سال های اخیر تکنیک های جمع اوری و پردازش مدل رقومی ارتفاعی به سرعت بهبود یافته است و اجازه دسترسی به جزئیات و دقت بیشتر را می دهد، در نتیجه رسیدن به یک مدل ارتفاعی واحد به روز شده با بیشترین دقت و صحت قابل حصول با استفاده از مدل های ارتفاعی موجود و در دسترس نیاز است. در این مقاله به روز رسانی ، افزایش چگالی، افزایش دقت، صحت و حذف اشتباهات در مدل ارتفاعی با استفاده از روشی اتوماتیک بر مبنای ...
متن کاملبه روز رسانی مدل المان محدود بر اساس نتایج frf
پروژه حاضر شامل پیاده سازی تکنیک به روزرسانی مدل (modal updating) به روشهای تکراری مودال و پاسخ فرکانسی (frf) می باشد. در ابتدای پروژه پس از مروری بر کاربردها و ویژگی های روش به روزرسانی مدل، تئوری حاکم بر روشهای مستقیم، مودال و frf ارائه شده است. در ادامه به خاطر نیاز این تکنیک به اطلاعات مدل (ماتریسهای جرم، سختی، میرایی، شکل مود و پاسخ فرکانسی)، روشهای استخراج اطلاعات مذکور از نرم افزار msc/n...
15 صفحه اولتاثیر بازاریابی رسانه های اجتماعی : تاثیر وضعیت به روز رسانی واتس آپ در یک رویداد ورزشی فوق برنامه دانشگاهی
چکیده:بازار یابی رسانه اجتماعی و از جمله استفاده از فیس بوک در حال تبدیل شدن به بخشی رایج از بازاریابی تبلیغاتی توسط سازمانهای تفریحی , سرگرمی و ورزش است . در حالی که استفاده از واتس آپ به عنوان یک ابزار بازاریابی مشترک می باشد، شواهد تجربی استفاده از آن بسیار کم می باشد . این تحقیق اثر بخشی بازاریابی رسانه های اجتماعی بر دانشجویان در یک محیط دانشگاهی را مورد بررسی و پژوهش قرار می دهد . مخص...
متن کاملروش به روز رسانی متقارن از مرتبه اول برای حل مسایل بهینه سازی مقیاس بزرگ
The search for finding the local minimization in unconstrained optimization problems and a fixed point of the gradient system of ordinary differential equations are two close problems. Limited-memory algorithms are widely used to solve large-scale problems, while Rang Kuta's methods are also used to solve numerical differential equations. In this paper, using the concept of sub-space method and...
متن کاملبه روز رسانی مدل ارتفاعی لیدار به وسیله مدل ارتفاعی ایجاد شده از worldview-۲
در سال های اخیر تکنیک های جمع اوری و پردازش مدل رقومی ارتفاعی به سرعت بهبود یافته است و اجازه دسترسی به جزئیات و دقت بیشتر را می دهد، در نتیجه رسیدن به یک مدل ارتفاعی واحد به روز شده با بیشترین دقت و صحت قابل حصول با استفاده از مدل های ارتفاعی موجود و در دسترس نیاز است. در این مقاله به روز رسانی ، افزایش چگالی، افزایش دقت، صحت و حذف اشتباهات در مدل ارتفاعی با استفاده از روشی اتوماتیک بر مبنای ا...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده علوم پایه دامغان
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023